6f25cc27ffb0f9605183a18ab536015417d5fa41,src/org/openstreetmap/josm/gui/mappaint/ElemStyleHandler.java,ElemStyleHandler,startElementLine,#String#Attributes#LineElemStyle#,76

Before Change


            else if (atts.getQName(count).equals("dashed")) {
                try
                {
                    line.dashed=Integer.parseInt(atts.getValue(count));
                } catch (NumberFormatException nfe) {
                    boolean dashed=Boolean.parseBoolean(atts.getValue(count));
                    if(dashed) {

After Change


            else if (atts.getQName(count).equals("dashed")) {
                try
                {
                    String[] parts = atts.getValue(count).split(",");
                    line.dashed = new float[parts.length];
                    for (int i = 0; i < parts.length; i++) {
                        line.dashed[i] = (float)(Integer.parseInt(parts[i]));
                    }
                } catch (NumberFormatException nfe) {